Categories of Locally Diagonal Partial Algebras
نویسنده
چکیده
We define and study the property of local diagonality for partial algebras and also a pair of related properties. We show that each of the three properties, together with idempotency, gives a cartesian closed initially structured subcategory of the category of all partial algebras of a given type. MSC 2000: 08A55, 08C05, 18D15
منابع مشابه
Realization of locally extended affine Lie algebras of type $A_1$
Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...
متن کاملCartesian Closedness in Cat - Egories of Partial
Keywords: Exponential subcategory of a category, cartesian closed category, initially structured category, category of partial algebras of the same type, partial algebra fulllling the interchange law, diagonal partial algebra. Abstract: We study categories of partial algebras of the same type. In these categories we deene a binary operation of exponentiation for objects and investigate its beha...
متن کاملAn Algebraic Description of Locally Multipresentable Categories
Locally finitely presentable categories are known to be precisely the categories of models of essentially algebraic theories, i.e., categories of partial algebras whose domains of definition are determined by equations in total operations. Here we show an analogous description of locally finitely multipresentable categories. We also prove that locally finitely multipresentable categories are pr...
متن کاملAbstract structure of partial function $*$-algebras over semi-direct product of locally compact groups
This article presents a unified approach to the abstract notions of partial convolution and involution in $L^p$-function spaces over semi-direct product of locally compact groups. Let $H$ and $K$ be locally compact groups and $tau:Hto Aut(K)$ be a continuous homomorphism. Let $G_tau=Hltimes_tau K$ be the semi-direct product of $H$ and $K$ with respect to $tau$. We define left and right $tau$-c...
متن کاملA RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.
متن کامل